Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
871	PDF Document Add to Reading List Source URL: www.lua.org Language: English - Date: 2008-12-11 12:31:50 Data types Lua Comparison of programming languages Hash table Array data type List Hash function Associative array Closure Computing Software engineering Computer programming
872	PDF Document Add to Reading List Source URL: www.jaist.ac.jp Language: English - Date: 2010-09-15 04:17:35 Logic Axiom of choice Set theory Function Type theory Realizability Constructive set theory Constructivism Mathematical constructivism Mathematical logic Mathematics
873	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2003-02-11 11:01:04 Model theory Equivalence relation FO Function Equality Type theory If and only if Type Finitary relation Mathematics Mathematical logic Logic
874	PDF Document Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2012-08-28 12:41:06 Logic Intuitionistic type theory Function Homotopy type theory Dependent type Interpretation Field Subtype polymorphism Lambda calculus Mathematical logic Mathematics Type theory
875	PDF Document Add to Reading List Source URL: www.bytecraft.com Language: English - Date: 2007-02-07 17:20:21 Science Fuzzy set Lotfi A. Zadeh Defuzzification Control system Membership function Fuzzy rule Type-2 fuzzy sets and systems Fuzzy control system Fuzzy logic Logic Mathematical logic
876	PDF Document Add to Reading List Source URL: publish.uwo.ca Language: English - Date: 2012-09-05 10:26:01 Mathematical logic Bertrand Russell Functions and mappings Type theory Axiom of reducibility Principia Mathematica Function Propositional function Impredicativity Mathematics Logic Philosophy
877	PDF Document Add to Reading List Source URL: lua.org. Language: English Data types Lua Comparison of programming languages Hash table Array data type List Hash function Associative array Closure Computing Software engineering Computer programming
878	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 18:29:08 Functions and mappings Type theory Impredicativity Philosophy of mathematics Axiom of reducibility Logicism Function Principia Mathematica Axiom of choice Mathematics Logic Mathematical logic
879	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2003-02-26 23:28:44 Lambda calculus Logic in computer science Proof theory Combinatory logic Type theory Curry–Howard correspondence Free variables and bound variables Function Natural deduction Mathematics Theoretical computer science Mathematical logic
880	PDF Document Add to Reading List Source URL: inside.mines.edu Language: English - Date: 2010-04-07 17:10:38 Artificial intelligence Science Logic in computer science Control engineering Fuzzy control system Defuzzification Membership function Fuzzy set Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic

UPDATE